2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Theory of Computation (Texts in Computer Science)
Dexter C. Kozen
Категория:
Компьютеры
3.56 Mb
#2
Automata and Computability
Kozen D.C.
Категория:
Cs_Computer science
,
CsAl_Algorithms
2.29 Mb
#3
Dynamic Logic (Foundations of Computing)
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
2.24 Mb
#4
Kozen, Landau. Polynomial decomposition algorithm (JSC 1989)(T)(12s).djvu
132 Kb
#5
Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf
2.23 Mb
#6
Kozen, Landau. Polynomial decomposition algorithm (JSC 1989).djvu
129 Kb
#7
The design and analysis of algorithms
Dexter C. Kozen
Категория:
Computer science
,
Algorithms
1.64 Mb
#8
Dynamic logic
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
Категория:
Mathematics
,
Algebra
,
Mathematical logic
2.23 Mb
#9
Functional decomposition of polynomials
von zur Gathen
,
Kozen
,
Landau.
Категория:
Papers
,
Computer algebra
,
Simplification
,
Decomposition
79 Kb
#10
Decomposition of algebraic functions
Kozen
,
Landau
,
Zippel.
Категория:
Papers
,
Computer algebra
,
Solving equations
87 Kb
#11
Polynomial decomposition algorithm
Kozen
,
Landau.
Категория:
Papers
,
Computer algebra
,
Solving equations
132 Kb
#12
Theory of computation
Dexter C. Kozen
2.75 Mb
#13
Mathematics of Program Construction, 7 conf., MPC 2004
Dexter Kozen
,
Carron Shankland
Категория:
CsLn_
6.51 Mb
#14
Theory of Computatio
Dexter C. Kozen
2.69 Mb
#15
The design and analysis of algorithms(conservative)
Dexter C. Kozen
2.19 Mb
#16
Theory of Computation (Texts in Computer Science)
Dexter C. Kozen
2.76 Mb
#17
Dynamic Logic
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
1.71 Mb
#18
Automata and Computability
Dexter C. Kozen
4.05 Mb